extern void printf(const char *fmt, ...);
void do_irq(void)
{
}
